منابع مشابه
Making Hands Jive: How the Body Manages Hand Coordination
The world is an untidy place, and the sciences—all of them—refl ect this. One source of this untidiness is the relationship between levels of organization. Reducing macrolevels to microlevels—explaining the former in terms of the latter—has met with successes but has never been the whole story. In the biological sciences, there has been much attention lately to the shortcomings of reductionism ...
متن کاملIntegrating Simplify into Jive
In cooperation with University of Kaiserslautern, the Software Component Technology Group works on the Java Interactive Verification Environment, Jive. Jive allows one to interactively prove that JML annotated Java programs fulfill their specifications. Currently, the interactive theorem prover Isabelle is used for specification and verification of general properties that are not directly relat...
متن کاملThe Case Against JIVE
We perform an extensive series of Monte Carlo experiments to compare the performance of the “Jackknife Instrumental Variables Estimator,” or JIVE, with that of the more familiar 2SLS and LIML estimators. We find no evidence to suggest that JIVE should ever be used. It is always more dispersed than 2SLS, often very much so, and it is almost always inferior to LIML in all respects. Interestingly,...
متن کاملJive Data and Store Model
This document presents the formalization of an object-oriented data and store model in Isabelle/HOL. This model is being used in the Java Interactive Verification Environment, Jive.
متن کاملJIVE: Visualizing Java in Action
Dynamic software visualization should provide a programmer with insights as to what the program is doing. Most current dynamic visualizations either use program traces to show information about prior runs, slow the program down substantially, show only minimal information, or force the programmer to indicate when to turn visualizations on or off. We have developed a dynamic Java visualizer that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 1994
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.4739